$\forall$$a$,$b$:$\mathbb{Z}$. (divides($a$; $b$) $\wedge$ divides($b$; $a$)) $\Leftarrow\!\Rightarrow$ pm\_equal($a$; $b$)